Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems culminating in the well-known and powerful Calculus of Constructions. The book (...) also covers the essence of proof checking and proof development, and the use of dependent type theory to formalize mathematics. The only prerequisites are a good knowledge of undergraduate algebra and analysis. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarize themselves with the material. (shrink)

A new installment in the series that blew readers' minds with Biocentrism and Beyond Biocentrism, The Grand Biocentric Design offers an even deeper dive in to the nature of reality and our universe based on the latest groundbreaking research.

Este artigo recorda os principais aspectos e motivações da Expedição Langsdorff, missão de reconhecimento do interior do Brasil iniciada em 1821, composta pelo cônsul russo barão Langsdorff, o pintor alemão Moritz Rugendas, Aimé-Adrien Taunay, Nicolas-Antoine Taunay, o polígrafo Hercules Florence e o especialista em mapas Néster G. Rubtsov. Busca diferenças entre esta expedição e iniciativas outras, a título de exemplo, as dos bandeirantes e jesuítas, bem como a expedição indigenista de Rondon, e propõe o aprofundamento das investiga­ções. Apresenta atributos resgatados (...) pela poesia brasileira contemporânea e elementos cons­titutivos da identidade cultural brasileira presentes na Expedição Langsdorff, os quais os auto­res sugerem ser relevantes para pesquisadores do tema e para a inserção do Brasil no contexto internacional político, diplomático e econômico nos tempos hodiernos. (shrink)

The Covid-19 pandemic has resulted in disruption of work and other social activities of so many people. Some were forced to stay at home and many decided to stay at home for fear of being infected with the virus. This phenomenon brought different reactions and even mental stress to many people. However, there were people who turned this kind of tragedy into creative work. This paper discusses the experiences and insights of known plant lovers in Digos City, Davao del Sur (...) Philippines. Digos City is one of the heavily affected places during the series of earthquakes that jolted Davao del Sur last year. While people are still recovering, COVID-19 added an additional burden to the residents. In this paper, we argue that their decision to focus on gardening was not only to fight boredom and to divert their attention during lockdown but this was their way of maintaining their well-being by participating in the on-going work of creation and recreation and to rise from the tragedy. We further argue that it might be good that this creative work will go beyond home gardening and beyond pots and slowly extend to creative work for environmental protection and preservation through more active engagements into reforestation activities. (shrink)

Many physicists regard the flow of time as an illusion. There is an upper level flow of time, the phenomenon of past/present/future; and there is a lower level flow of time which is really a flow of events. Perceptual completion accounts for the lower level flow of time in a few ways: apparent movement; amodal completion; and dynamic change as exemplified by a newly described modal completion that we called happening. It acts like an illusory percept connecting discrete stimuli in (...) all sensory modalities. The past/present/future distinction cannot exist unless an object is perceived to be the same now as it is then. This cognition requires object persistence. Experiments with object persistence suggest the circumstances when that, too, is an illusory percept. The illusory percepts of object persistence and perceptual completion can account for the entire flow of time. Our findings and conclusions are congruent with a few time theories and cosmologies that suggest that the flow of time is an illusion. (shrink)

Hutsuls, as one of the ethnic groups of the Ukrainian people, are undoubtedly, along with fights and lemmas, among the most striking exponents of the spiritual culture of the Carpathian Ukrainians. The great attractiveness of the Hutsul's geographical space of habitation could not but affect their worldviews, bright mentality and original patterns of traditional culture. Along with unsurpassed specimens of folk architecture, folk art, choreography, the original pearls of the Hutsul's spiritual heritage include their songs.

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

New Blackfriars, Volume 103, Issue 1103, Page 3-6, January 2022.

Background: Dementia care at home often involves decisions in which the caregiver must weigh safety concerns with respect for autonomy. These dilemmas can lead to situations where caregivers provide care against the will of persons living with dementia, referred to as involuntary treatment. To prevent this, insight is needed into how family caregivers of persons living with dementia deal with care situations that can lead to involuntary treatment. Objective: To identify and describe family caregivers’ experiences regarding care decisions for situations (...) that can lead to involuntary treatment use in persons living with dementia at home. Research design: A qualitative descriptive interview design. Data were analysed using the Qualitative Analysis Guide of Leuven. Participants and research context: A total of 10 family caregivers providing care for 13 persons living with dementia participated in in-depth semi-structured interviews. Participants were recruited by registered nurses via purposive sampling. Ethical consideration: The study protocol was approved by the Ethics Committee of the University Hospitals Leuven and the Medical Ethical Test Committee Zuyderland. Findings: Family caregivers experience the decision-making process concerning care dilemmas that can lead to involuntary treatment as complicated, stressful and exhausting. Although they consider safety and autonomy as important values, they struggle with finding the right balance between them. Due to the progressive and unpredictable nature of dementia, they are constantly seeking solutions while they adapt to new situations. Family caregivers feel responsible and experience social pressure for the safety of persons living with dementia. They may be blamed if something adverse happens to the persons living with dementia, which increases an already stressful situation. Their experience is influenced by characteristics of the care triad such as practical and emotional support, knowledge, and previous experiences. Discussion and conclusion: To prevent involuntary treatment, professionals need to proactively inform family caregivers, and they need to support each other in dealing with complex care situations. (shrink)

Due to natural selection pressure, certain aspects of memory may have been selected to give humans a survival advantage. Research has demonstrated that processing information for survival relevance leads to better item memory (i.e., the content of information) compared to control conditions. The current study investigates the effects of survival processing on context memory (i.e., memory for peripheral episodic details) and item memory to better understand when the survival processing memory advantage emerges. In this study, participants viewed objects in either (...) a plausible color, for example a red apple, or in an implausible color, such as a green pie. We chose this color plausibility manipulation because color is a detail that conveys information about the fitness of an item. After studying items in either a survival or moving (control) condition, participants made item memory judgments (did you see this item before?), and two context memory judgments: color context (in which color did you see this item?), and source context (in which condition did you see this item?). Results indicated better item memory for materials processed in the survival relative to moving condition. Critically, for color context there was a condition by plausibility interaction, where memory was best for plausibly colored items in the survival processing condition. There was no difference, however, in source context memory between the survival and moving conditions. These results suggest the survival processing memory advantage extends to some contextual details, but only those details that tap into the survival utility of items, such as color. (shrink)

We discuss five kinds of representations of rationales and provide a formal account of how they can alter disputation. The formal model of disputation is derived from recent work in argument. The five kinds of rationales are compilation rationales, which can be represented without assuming domain-knowledge (such as utilities) beyond that normally required for argument. The principal thesis is that such rationales can be analyzed in a framework of argument not too different from what AI already has. The result is (...) a formal understanding of rationales, a partial taxonomy, and a foundation for computer programs that represent and reason with rationales.The five kinds of rationales are as follows: (c)ompression and (s)pecialization, which yield rules, and (d)isputation, which yields a decision. These are modeled as potentially changing the focus of the dispute. Then there are (f)it, a rationale for rules, and (r)esolution, a rationale for decisions. These cannot be modeled as simply; they force disputation to a meta-level, at least temporarily. (shrink)

Understanding of organizational ethics phenomena requires complex understanding of organizational practices in their real world contexts. We can try to understand and build theory about these complex real world practices from the points of view of: a traditional deductive, ethics literature-based, literature gap formulation approach; or, an inductive, practitioner-based literature gap formulation approach. This consideration of inductive, practitioner-based versus deductive, literature-based literature gap formulation is related to the discussion concerning “engaged scholarship” and relationships and gaps between theory and practice in (...) organization studies [Van De Ven, 2007, Engaged Scholarship: A Guide for Organizational and Research Knowledge ]. However, there is an important difference with respect to the key issue of ethics literature versus practitioner-based literature gap formulation. This article offers examples of the two different approaches and makes comparisons between them. Implications for practice-based organizational ethics theory building, Ph.D. education, and public intellectual work are considered. (shrink)

Inspired by the third chapter of Anselm's Proslogion, twentieth century philosophers including Charles Hartshorne and Alvin Plantinga developed “modal” ontological arguments for the existence of God. Such arguments use modal logic to infer God's existence from the premises that (i) God's existence is possible and (ii) if God exists, He exists necessarily. Like other ontological arguments, modal arguments have won few converts to theism; many commentators consider them question‐begging or liable to parody. This article details how recent attempts to defend (...) these arguments have tried to overcome these difficulties by drawing on modern accounts of the epistemology and metaphysics of modality. (shrink)